741. Software technologies for embedded and ubiquitous systems: 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008. proceedings
المؤلف: Uwe Brinkschulte, Tony Givargis, Stefano Russo )eds.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming -- Congresses ، Embedded computer systems,Congresses ، Ubiquitous computing,Distributed processing -- Congresses ، Electronic data processing
رده :
TK
7895
.
E42
S42
2008
742. Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
المؤلف: Stephan Diehl )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2269
743. Software visualization :international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
المؤلف: Stephan Diehl )ed.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: Congresses ، Computer software,Congresses ، Visual programming )Computer science(
رده :
QA
76
.
751
.
D34
2001
744. Static Analysis
المؤلف: \ Sandrine Blazy , Thomas Jensen (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
745. Static analysis :
المؤلف: Antoine Miné, David Schmidt (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
746. Static analysis :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ;
747. Static analysis :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ;
748. Static analysis
المؤلف: Francesco Logozzo, Manuel Fähndrich (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
749. Static analysis
المؤلف: Jens Palsberg, Zhendong Su (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
750. Static analysis :
المؤلف: Eran Yahav (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
751. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings
المؤلف: Baudouin Le Charlier )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
864
752. Static analysis : Second International Symposium, SAS'95 Glasgow, UK, September 25-27, 1995 : proceedings
المؤلف: Alan Mycroft )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
983
753. Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings
المؤلف: Radhia, Cousot, David A. Schmidt )Eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1145
754. Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
المؤلف: Chris Hankin, Igor Siveroni )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3672
755. Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
المؤلف: Manuel V. Hermenegildo, German Puebla, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2477
756. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
المؤلف: Patrick Cousot )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2126
757. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
المؤلف: Pascal van Hentenryck )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1302
758. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
المؤلف: Giorgio Levi, ed
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1503
759. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
المؤلف: Jens Palsberg )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1824
760. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
المؤلف: Agostino Cortesi, Gilberto File
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، System analysis
رده :
QA
76
.
L28
Vol
.
1694
